Completeness of Reidemeister-type moves for surfaces embedded in three-dimensional space
نویسندگان
چکیده
In this paper we are concerned with labelled apparent contours, namely with apparent contours of generic orthogonal projections of embedded surfaces in R, endowed with a suitable depth information. We show that there exists a finite set of elementary moves (i.e. local topological changes) on labelled apparent contours such that the following theorem holds: two generic embeddings of a closed surface M in R are isotopic if and only if their apparent contours can be connected using only smooth isotopies and a finite sequence of moves.
منابع مشابه
An extension theorem for finite positive measures on surfaces of finite dimensional unit balls in Hilbert spaces
A consistency criteria is given for a certain class of finite positive measures on the surfaces of the finite dimensional unit balls in a real separable Hilbert space. It is proved, through a Kolmogorov type existence theorem, that the class induces a unique positive measure on the surface of the unit ball in the Hilbert space. As an application, this will naturally accomplish the work of Kante...
متن کاملA Jones polynomial for braid-like isotopies of oriented links and its categorification
Links in 3–space are usually given by diagrams and isotopies of links by sequences of Reidemeister moves (see e.g. [BZ85]). For relatively oriented links (i.e. up to global orientation reversing), there are exactly two different local (i.e. without regarding the rest of the diagram) Reidemeister moves of type II , shown in Figure 1, and eight local Reidemeister moves of type III , shown in Figu...
متن کاملHyperbolic surfaces of $L_1$-2-type
In this paper, we show that an $L_1$-2-type surface in the three-dimensional hyperbolic space $H^3subset R^4_1$ either is an open piece of a standard Riemannian product $ H^1(-sqrt{1+r^2})times S^{1}(r)$, or it has non constant mean curvature, non constant Gaussian curvature, and non constant principal curvatures.
متن کاملSurfaces Generated by Translation Surfaces of Type 1 in I^1_3
In this paper, we classify surface at a constant distance from the edge of regression on translation surfaces of Type 1 in the three dimensional simply isotropic space I^1_3 satisfying some algebraic equations in terms of the coordinate functions and the Laplacian operators with respect to the first, the second and the third fundamental form of the surface. We also give explicit forms of these ...
متن کاملQuantum Knots and Lattices, or a Blueprint for Quantum Systems that Do Rope Tricks
Within the framework of the cubic honeycomb (cubic tessellation) of Euclidean 3-space, we define a quantum system whose states, called quantum knots, represent a closed knotted piece of rope, i.e., represent the particular spatial configuration of a knot tied in a rope in 3-space. This quantum system, called a quantum knot system, is physically implementable in the same sense as Shor’s quantum ...
متن کامل